From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 19 Jun 2015 11:58:41 +0000 (+0200)
Subject: windowManager: Replace deprecated g_settings_list_keys()
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~1327
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=530193a3a224e35d8f0799c0a83dfdb6fbcdce52;p=gnome-shell.git

windowManager: Replace deprecated g_settings_list_keys()
---

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index ecf6051e0..5a86d5ab3 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -217,7 +217,7 @@ const WorkspaceTracker = new Lang.Class({
 
     _getWorkspaceSettings: function() {
         let settings = global.get_overrides_settings();
-        if (settings.list_keys().indexOf('dynamic-workspaces') > -1)
+        if (settings.settings_schema.list_keys().indexOf('dynamic-workspaces') > -1)
             return settings;
         return new Gio.Settings({ schema_id: 'org.gnome.mutter' });
     },